functorial property

См. также в других словарях:

• Universal property — In various branches of mathematics, certain constructions are frequently defined or characterised by an abstract property which requires the existence of a unique morphism under certain conditions. These properties are called universal properties …   Wikipedia

• Resolution of singularities — Strong desingularization of Observe that the resolution does not stop after the first blowing up, when the strict transform is smooth, but when it is simple normal crossings with the exceptional divisors. In algebraic geometry, the problem of… …   Wikipedia

• Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most …   Wikipedia

• Homological algebra — is the branch of mathematics which studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract… …   Wikipedia

• Tensor algebra — In mathematics, the tensor algebra of a vector space V , denoted T ( V ) or T bull;( V ), is the algebra of tensors on V (of any rank) with multiplication being the tensor product. It is the free algebra on V , in the sense of being left adjoint… …   Wikipedia

• Vector bundle — The Möbius strip is a line bundle over the 1 sphere S1. Locally around every point in S1, it looks like U × R, but the total bundle is different from S1 × R (which is a cylinder instead). In mathematics, a vector bundle is a… …   Wikipedia

• Clifford algebra — In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions.[1][2] The theory of Clifford algebras is intimately connected with the… …   Wikipedia

• Homotopy — This article is about topology. For chemistry, see Homotopic groups. The two dashed paths shown above are homotopic relative to their endpoints. The animation represents one possible homotopy. In topology, two continuous functions from one… …   Wikipedia

• Group cohomology — This article is about homology and cohomology of a group. For homology or cohomology groups of a space or other object, see Homology (mathematics). In abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well… …   Wikipedia

• Categorical logic — is a branch of category theory within mathematics, adjacent to mathematical logic but in fact more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category,… …   Wikipedia

• Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… …   Wikipedia